/*
 * OtherPaletteEventType.java
 *
 * Created on 27 maj 2007, 01:08
 *
 */

package pl.krakow.ae.knp.wikiboard.gui.palette;

/**
 *
 * @author m
 */
public enum OtherPaletteEventType {
    UNDO,
    REDO,
    CLEAR,
    CONNECT,
    DISCONNECT,
    USERNAME_EXISTS;
}
